failure 485:
Requirement failed: {scalbf.14.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == 1) || isInfinity_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == -1) == true` means that EDOM SHALL be set
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/util_float_scenario.utz (util_float_scenario.utt), line 17017 |
| occurence |
| scenario |
util_float_scenario |
| specification function |
scalb_spec() |
| parameter value |
CallContext context = [pid=17999,thr=b752d6c0] |
| parameter value |
Unifloat * @x = (float) 0.0000000000000000e+00 (0x.00000000P1F) |
| parameter value |
Unifloat * x = (float) 0.0000000000000000e+00 (0x.00000000P1F) |
| parameter value |
Unifloat * @n = (float) Infinity |
| parameter value |
Unifloat * n = (float) Infinity |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(Unifloat *) (float) NaN |
coverage
& branch |
C
x is zero, n is infinity |
| properties |
| REQ failed |
scalbf.14.01.01 |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The scalb() family of functions shall compute x*r^n, where r is the radix of the machine's
floating-point arithmetic.
According to LSB, the functions shall set EDOM error code when x is zero and n is +Inf, or x is Inf and n
is -Inf and ERANGE when overflow occurs.
But the functions sets error code EOK in these cases.
|
|